Type Parameters, Interface Constraints, Performance Impact, Design Trade-offs

🌟 Understanding Generics in TypeScript: The Key to Reusable, Type-Safe Code
dev.to·1d·
Discuss: DEV
🔧API Design
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·21h·
Discuss: r/golang
📋JSON Parsers
Does Go have types?
youtube.com·6h·
Discuss: r/golang
🌈Gradual Languages
Effects in Rust (and Koka)
aloso.foo·19h·
Discuss: r/rust
Algebraic Effects
GaloisInc/parameterized-utils
github.com·2d
📏Linear Haskell
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·2h·
Discuss: DEV
🌐WASM Runtimes
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🌱Minimal Lisps
From CAP to GAP?
fsharpforfunandprofit.com·12h·
Discuss: DEV
🧪Testing Compilers
Defeating Return Type Polymorphism
philipphagenlocher.de·1d·
Discuss: Hacker News
📏Linear Haskell
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·3d·
Discuss: DEV
🐹Go Runtime
Unforgettable factory revisited
holyblackcat.github.io·14h·
Discuss: r/cpp
🪆Embedded DSLs
Iterated Development and Study of Schemers (IDSS)
lesswrong.com·4h
🏰Capability Machines
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·4d
🔒Rust Borrowing
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
🧮Combinator Calculus
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
🦉Swift Interpreters
Building A Real-Time Communication System Using Go and WebSocket
dev.to·2h·
Discuss: DEV
🌍HTTP Servers
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Three gripes about Go modules
jotaen.net·2h·
Discuss: Hacker News
⚙️TOML Parsers
Why Do Data Pipelines Need Streaming — Isn’t Batch Processing Enough?
linkedin.com·14h·
Discuss: DEV
📡Erlang BEAM
About self-referential types, possible implementation?
reddit.com·1d·
Discuss: r/rust
🌊Gradual Typing